Main advisor: Ludovic Henrio Co-advisors: Matthieu Moy and Christophe Alias Context: A future is a place-holder for a value being computed, and we generally say that a future is resolved when the associated value is computed. In existing languages futures are either implicit, if there is no syntactic or typing distinction between futures and non-future … Continue reading Internship: Advanced study of dataflow explicit futures